Incremental low-discrepancy lattice methods for motion planning
نویسندگان
چکیده
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the incremental and self-avoiding tendencies of pseudo-random sequences, ii) the lattice structure provided by multiresolution grids, and iii) lowdiscrepancy and low-dispersion measures of uniformity provided by quasi-random sequences. The resulting sequences can be considered as multiresolution grids in which points may be added one at a time, while satisfying the sampling qualities at each iteration. An efficient, recursive algorithm for generating the sequences is presented and implemented. Early experiments show promising performance by using the samples in search algorithms to solve motion planning problems.
منابع مشابه
Generating State Lattice Motion Primitives for Differentially Constrained Motion Planning
We propose a method of generating motion primitives for motion planning under differential constraints. These primitives lend themselves particularly well to off-line precomputation. In this manner, they are attractive due to their capacity to capture the mobility constraints of the robot and to establish a state sampling policy that is conducive to efficient search. The first objective allows ...
متن کاملA Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ’Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ’completeness’. It is also used to guide inpu...
متن کاملCoverage-guided test generation for continuous and hybrid systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ‘Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ‘completeness’. It is also used to guide inpu...
متن کاملHierarchical Optimization-based Planning for High-DOF Robots
We present an optimization-based motion planning algorithm for high degree-of-freedom (DOF) robots in dynamic environments. Our formulation decomposes the highdimensional motion planning problem into a sequence of low-dimensional sub-problems. We compute collision-free and smooth paths using optimization-based planning and trajectory perturbation for each sub-problem. The high-DOF robot is trea...
متن کاملAn Overview of Optimal Graph Search Algorithms for Robot Path Planning in Dynamic or Uncertain Environments
Efficient path planning is critical to the development of useful autonomous robots, forming the glue between low-level sensory input and high-level objective completion. In this paper, we investigate two primary challenges: computing a path efficiently, and handling changes in the environment. The A* algorithm forms the foundation for solving the first problem, while D* and D* Lite solves the s...
متن کامل